Peirce's theory of deductive reasoning